Computational Aspects of M-grammars

نویسنده

  • Joep Rous
چکیده

In this paper M-grammars tha t are used in the Roset ta t ranslat ion system will be looked at as the specification of a t t r ibu te grammars. We will show tha t the a t t r ibute evaluation order is such tha t instead of the special-purpose parsing and generation algorithms introduced for M-grammars in Appelo et al.(1987), also Earley-like context-free parsing and ordinary generation strategies can be used. Furthermore, i t is i l lustrated tha t the a t t r ibu te grammar approach gives an insight into the weak generative capacity of M-grammars and into the computat ional complexity of the parsing and generation process. Finally, the a t t r ibute grammar approach will be used to reformulate the concept of isomorphic grammars.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ping-Pong Protocols as Prefix Grammars and Turchin Relation

This paper describes how to verify cryptographic protocols by a general-purpose program transformation technique with unfolding. The questions of representation and analysis of the protocols as prefix rewriting grammars are discussed. In these aspects Higman and Turchin embeddings on computational paths are considered, and a refinement of Turchin’s relation is presented that allows to algorithm...

متن کامل

Computational Complexity and Lexical Funtional Grammar

An important goal of modern linguistic theory is to characterize as narrowly as possible the class of natural languages. One classical approach to this characterization has been to investigate the generative capacity of grammatical systems specifiable within particular linguistic theories. Formal results along these lines have already been obtained for certain kinds of Transformational Generat ...

متن کامل

Parsing Linear-Context Free Rewriting Systems with Fast Matrix Multiplication

We describe a recognition algorithm for a subset of binary linear context-free rewriting systems (LCFRS) with running time O(nωd) where M(m) = O(m ) is the running time for m×m matrix multiplication and d is the “contact rank” of the LCFRS—the maximal number of combination and non-combination points that appear in the grammar rules. We also show that this algorithm can be used as a subroutine t...

متن کامل

The implementation of a computational grammar of French using the Grammar Development Environment

The design and implementation of a large-coverage computational grammar of French is described. This grammar is compared to a comprehensive computational grammar of English which was implemented using the same computer workbench. Although many similarities may be observed in the two grammars, there are important structural d i f ferences which can be traced back to features specific to the F~'e...

متن کامل

Formal Aspects of Linguistic Modelling

These notes cover the first part of an introductory course on computational linguistics, also known as MPRI 2-27-1: Logical and computational structures for linguistic modelling. The course is subdivided into two parts: the first, which is the topic of these notes, covers grammars, automata, and logics for syntax modelling, while the second part focuses on logical approaches to semantics. Among...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991